Kind-deq == union-deq((:IdLnk  Id); Id; product-deq(IdLnk; Id; idlnk-deq; id-deq); id-deq) 

latex

Definitions	union-deq(A; B; a; b), x:A  B(x), product-deq(A; B; a; b), IdLnk, Id, idlnk-deq, id-deq
FDL editor aliases	Kind-deq